21![Programming in Logic Without Logic Programming Robert Kowalski and Fariba Sadri Department of Computing Imperial College London {rak,} _____________________________________________________________________ Programming in Logic Without Logic Programming Robert Kowalski and Fariba Sadri Department of Computing Imperial College London {rak,} _____________________________________________________________________](https://www.pdfsearch.io/img/c91d4b5c2af00da9c823252fa69e20cc.jpg) | Add to Reading ListSource URL: www.doc.ic.ac.uk- Date: 2015-11-14 06:19:31
|
---|
22![Under consideration for publication in Theory and Practice of Logic Programming 1 arXiv:1512.07780v1 [cs.LO] 24 Dec 2015 Under consideration for publication in Theory and Practice of Logic Programming 1 arXiv:1512.07780v1 [cs.LO] 24 Dec 2015](https://www.pdfsearch.io/img/b38781e258eaf3968ee8b011838d6853.jpg) | Add to Reading ListSource URL: arxiv.org- Date: 2015-12-24 20:47:04
|
---|
23![Testing Source Code with the Logic Programming Language Prolog Master Thesis Thomas Handwerker Testing Source Code with the Logic Programming Language Prolog Master Thesis Thomas Handwerker](https://www.pdfsearch.io/img/fa9348b16f2f7535eacdedcaed69f857.jpg) | Add to Reading ListSource URL: www1.pub.informatik.uni-wuerzburg.de- Date: 2016-08-02 05:40:34
|
---|
24![Technical Communications of the International Conference on Logic Programming, 2010 (Edinburgh), pp. 265–269 http://www.floc-conference.org/ICLP-home.html TOWARDS A GENERAL ARGUMENTATION SYSTEM BASED ON ANSWER-SET PROG Technical Communications of the International Conference on Logic Programming, 2010 (Edinburgh), pp. 265–269 http://www.floc-conference.org/ICLP-home.html TOWARDS A GENERAL ARGUMENTATION SYSTEM BASED ON ANSWER-SET PROG](https://www.pdfsearch.io/img/9c1b258e06ed9ea97724c531154e1b95.jpg) | Add to Reading ListSource URL: drops.dagstuhl.de- Date: 2010-06-24 07:28:38
|
---|
25![Proceedings of CICLOPS 2009 9th International Colloquium on Implementation of Constraint and LOgic Programming Systems Proceedings of CICLOPS 2009 9th International Colloquium on Implementation of Constraint and LOgic Programming Systems](https://www.pdfsearch.io/img/60631508a31f36c3966762c7f77a4c62.jpg) | Add to Reading ListSource URL: www.cse.unt.edu- Date: 2009-06-12 11:53:51
|
---|
26![Programming in Linear Temporal Logic Wolfgang Jeltsch Programming in Linear Temporal Logic Programming in Linear Temporal Logic Wolfgang Jeltsch Programming in Linear Temporal Logic](https://www.pdfsearch.io/img/b742f2449769da58f2ddb64a11a4b7ce.jpg) | Add to Reading ListSource URL: cs.ioc.ee- Date: 2011-02-10 10:21:33
|
---|
27![Inductive Logic Programming meets Relational Databases: An Application to Statistical Relational Learning Marcin Malec, Tushar Khot, James Nagy, Erik Blasch, and Sriraam Natarajan Abstract With the increasing amount of r Inductive Logic Programming meets Relational Databases: An Application to Statistical Relational Learning Marcin Malec, Tushar Khot, James Nagy, Erik Blasch, and Sriraam Natarajan Abstract With the increasing amount of r](https://www.pdfsearch.io/img/b2067138a09c1ff5dbdbb27d10ad520e.jpg) | Add to Reading ListSource URL: homes.soic.indiana.edu- Date: 2016-05-01 18:51:06
|
---|
28![Declarative and Logic Programming Mooly Sagiv Adapted from Peter Hawkins Jeff Ullman (Stanford)
Why declarative programming Declarative and Logic Programming Mooly Sagiv Adapted from Peter Hawkins Jeff Ullman (Stanford)
Why declarative programming](https://www.pdfsearch.io/img/a4d043cc48c20c13c75f6c65bcbf6282.jpg) | Add to Reading ListSource URL: www.cs.tau.ac.il- Date: 2014-03-10 07:32:15
|
---|
29![Intuitionistic Temporal Logic from Reactive Programming Wolfgang Jeltsch Institute of Cybernetics at Tallinn University of Technology Estonian–Finnish Logic Meeting Rakvere, Estonia Intuitionistic Temporal Logic from Reactive Programming Wolfgang Jeltsch Institute of Cybernetics at Tallinn University of Technology Estonian–Finnish Logic Meeting Rakvere, Estonia](https://www.pdfsearch.io/img/3a3b65188e2a5ee41ff431b82fbd4154.jpg) | Add to Reading ListSource URL: www.ioc.ee- Date: 2015-11-12 18:20:43
|
---|
30![Logic and programming The Temporal Curry–Howard Correspondence Conclusions and outlook Logic and programming The Temporal Curry–Howard Correspondence Conclusions and outlook](https://www.pdfsearch.io/img/2f106843239c6315bd28320f936dfee6.jpg) | Add to Reading ListSource URL: www.ioc.ee- Date: 2012-04-24 14:51:31
|
---|